<!DOCTYPE html PUBLIC 
		"-//W3C//DTD XHTML 1.0 Strict//EN"
		"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
	<head>
		<meta http-equiv="Content-Language" content="en" />
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
		<link rel="icon" type="image/png" href="http://bukka.eu/img/icon.png" />
		<link rel="STYLESHEET" type="text/css" href="http://bukka.eu/css/top.css" />
		<title>bukka.eu</title>
	</head>

	<body>
		<div id="logo"  ><img src="/img/bukka.gif" alt="logo" /><div id="lang">Language: <form action="get"><div><select onchange="var lang = this.options[this.selectedIndex].value;var host = window.location.hostname;var path = window.location.pathname;if (path.length >= 3 &amp;&amp; (path.substr(0,3) == '/cs' || path.substr(0,3) == '/en')) path = path.substring(3);lang = '/' + lang;window.location = 'http://' + host + lang + path"><option value="en" selected="selected">English</option><option value="cs">Czech</option></select></div></form></div></div>
		<div id="menu_out"><div id="menu_in"><a href="http://bukka.eu/en/">News</a><a href="http://bukka.eu/en/projects/">Projects</a><a href="http://bukka.eu/en/programs/" id="actual">Programs</a><a href="http://bukka.eu/en/about/">About Site</a></div></div>
			<h2 class="project"><a href="/en/graphs/" class="project">Graphs</a></h2>
			<div class="desc">This program is written in JavaScript  and visualizes two main search methods for graphs – breath-first search (BFS) and depth-first search (DFS).</div>

			<h2 class="project"><a href="/en/mint/" class="project">Mint</a></h2>
			<div class="desc">Mint is an abbreviation of Mini interpreter. It is a very simple interpreter of my p programming language.  It is just for show and its primary function is to understand the basics of grammars and pushdown automata.</div>
			<h2 class="project"><a href="/en/sat/" class="project">SAT</a></h2>
			<div class="desc">This program is a solution of the Boolean satisfiability problem using evolutionary programming. It is not a professional solution but it is usable for instances up to 200 variables and 1000 clauses.</div>
			<h2 class="project"><a href="/en/xusers/" class="project">Xusers</a></h2>
			<div class="desc">This program is written in Bash shell and AWK. Its primary function enables users to search others users by the information in /etc/passwd and /etc/group.</div>

	</body>
</html>
